rule of commutativity

交换性规则